1. Formal methods for VLSI disign
المؤلف: / edited by Jorgen Staunstrup
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing,Computer -- aided,Integrated Circuits -- Large scale integration -- Testing
رده :
TK
7874
.
F65
1990
2. Hardware/software co-design: principles and practice
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، System design,، Systems engineering,، Computer-aided design
رده :
QA
76
.
9
.
S88
.
H3675
1997
3. Hardware/Software co-design: principles and practice
المؤلف: edited by Jorgen Staunstrup and Wayne Wolf
المکتبة: (طهران)
موضوع: System design , Systems engineering , Computer-aided design
رده :
QA
76
.
9
.
S88
H3675
1997
4. Program specification : proceedings of a Workshop, Aarhus, Denmark, August 1981
المؤلف: edited by J. Staunstrup
المکتبة: (طهران)
موضوع: Specifications -- Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
134
5. Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981
المؤلف: edited by J. Staunstrup
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Specifications - Congresses ، Computer programs
رده :
QA
76
.
L4
v
.
134
